formal semantic definition

[ˈfɔ:məl siˈmæntik ˌdefiˈniʃən]
  • 释义

    [计] 形式语义定义;

数据更新时间:2025-11-14 07:21:09
1、

With the advantages of formal semantic definition, visually graphical expression, firm mathematical foundation and description based on state, the Petri net is applied to model and optimize the workflow process more and more.

由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点,被越来越广泛应用于工作流过程建模和流程优化。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • fond[fɒnd] adj.喜欢;深情的;愉快的;不切实际的;
  • Merrell n.迈乐;[人名] 梅里尔;迈乐;麦乐;登山鞋
  • rain[reɪn] n.雨;(热带地区的)雨季,雨天;雨点般降落的东西;<俚>电子流;vt.& vi.(雨)降下,(使)降落;大量地给,(使)大量落下;
  • fit[fɪt] v.适合;合身;试穿;放置于;可容纳;安装;与…相配;胜任;发作;adj.健康的;适合的;俊秀的;就要;
  • eye[aɪ] n.眼睛;视力;眼状物;vt.定睛地看;注视;审视;细看;
  • sweep[swiːp] v.打扫,拂去;梳(头发);挥动(手臂);席卷,扫过;迅速传播;大模大样地走;彻底删掉;延伸;轻松赢得;n.打扫;挥动;搜索,扫荡;广泛性;(道路、河流)绵延弯曲的地带;
  • could[kəd] aux.能够,打算;用于假设语气的条件句;用于虚拟语气的结论句;modal.可能会,有时会;(用于表示对某人的行为的厌恶)能,可以;(询问是否可做某事)能,可以;(礼貌地请求别人做事以及提供或建议某事物时)能,可以;能,会;(用于建议)可以;好像,仿佛;(强调感觉)真想
  • meal[miːl] n.餐,饭;进餐(时间);〈英〉一次挤奶量;谷物粗粉(用作饲料或加工面粉);
  • haircut[ˈheəkʌt] n.理发;发型;发式;
  • mechanism[ˈmekənɪzəm] n.[生]机制,机能,[乐]机理;(机械)结构,机械装置[作用],(故事的)结构;[艺]手法,技巧,途径;机械作用;
  • subjective[səbˈdʒektɪv] adj.主观的;个人的;内省的;
  • anniversary[ˌænɪˈvɜ:səri] n.周年纪念日;adj.周年的;周年纪念的;年年的;每年的;

纳米英语英语词典(dict.nm3.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈